SODM+T: Inferencia de restricciones de rendimiento
نویسندگان
چکیده
Las metodologías dirigidas por modelos (MDM) han experimentado un gran impulso en los últimos años, así como su aplicación a las Arquitecturas Orientadas a Servicios (AOS). Sin embargo, su avance no ha ido paralelo a la integración en ellas de técnicas de verificación y validación. En este trabajo se presenta SODM+T, el conjunto de herramientas que apoya a la metodología SODM+Testing que extiende la MDM de desarrollo de AOS SODM, integrando técnicas y modelos para la realización de pruebas. Se muestra uno de sus componentes, dedicado a asistir al usuario a diseñar pruebas de rendimiento sobre composiciones de servicios en una fase temprana de desarrollo, infiriendo las restricciones a partir de la información parcial disponible.
منابع مشابه
El modelo de persistencia basado en contenedores: conclusiones sobre una aproximación distinta hacia la persistencia
El término “Persistente” se aplica a los sistemas que proporcionan un mecanismo transparente y automático (en mayor o menor medida) de salvaguarda y recuperación de objetos. El modelo más extendido que implementan estos sistemas es el ortogonal, que sin embargo supone una serie de restricciones de independencia (de los tipos de datos, de código persistente y no persistente ... etc.) muy fuertes...
متن کاملArquitectura Básica para Controladores de Lógica Difusa a Programarse en FPGAs
El proceso de lógica difusa se divide en tres interfaces, cuya participación en el proceso no cambia de orden: Fuzificación, Inferencia y Defuzificación. En la Figura 1 se advierte que la Inferencia está supeditada por los valores que entrega la Fuzificación; así mismo, la Defuzificación depende de los propios de la inferencia. Por lo anterior, se afirma que el proceso difuso es secuencial por ...
متن کاملCombinacion de Procesos de Clausura y CSP para la Resolucion de Problemas de Scheduling (Premio Accésit Jose Cuena)
El problema de scheduling ha sido estudiado bajo diferentes aproximaciones, fundamentalmente mediante técnicas CSP. En este artículo se presenta un método que combina el proceso de clausura de restricciones con el proceso CSP. Inicialmente, modelamos el scheduling como el problema de satisfacer y encontrar la solución de un conjunto de restricciones métricas disyuntivas, basadas en puntos de ti...
متن کاملRepresentación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling
La programación lógica con restricciones está enfocada a resolver problemas por medio de cláusulas definidas. Conocida internacionalmente como Constraint Logic Programming y abreviada como CLP, la programación lógica con restricciones es un potente paradigma utilizado en aplicaciones como el diseño de hardware, inteligencia artificial, planificación, calendarización, optimización y procesamient...
متن کاملImplementación de un Sistema de Control con Microcontrolador Difuso
ste artículo describe el diseño, simulación e implementación de un control inteligente, usando un microcontrolador difuso que contiene internamente (hardware) una máquina de inferencia. El diseño y la simulación de control determinaron una máquina de inferencia óptima de siete funciones de membresía y siete reglas del tipo Si, Entonces; usando métodos de sintonía, algoritmos genéticos y redes n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010